On the Well Extension of Partial Well Orderings
نویسنده
چکیده
In this paper, we study the well extension of strict(irreflective) partial well orderings. We first prove that any partially well-ordered structure ⟨A,R⟩ can be extended to a well-ordered one. Then we prove that every linear extension of ⟨A,R⟩ is well-ordered if and only if A has no infinite totally unordered subset under R.
منابع مشابه
Some New Results on Stochastic Orderings between Generalized Order Statistics
In this paper we specify the conditions on the parameters of pairs of gOS’s under which the corresponding generalized order statistics are ordered according to usual stochastic ordering, hazard rate ordering, likelihood ratio ordering and dispersive ordering. We consider this problem in one-sample as well as two-sample problems. We show that some of the results obtained by Franco et al. ...
متن کاملA clinical outcome comparison of the conventional altered cast impression with a modification altered cast impression technique
A clinical outcome comparison of the conventional altered cast impression with a modification altered cast impression technique Dr. M. Farzin *- Dr. F. Bahrani ** - Dr. A. Zareie *** *Assistant Professor of Prosthodontics Dept., Faculty of Dentistry, Shiraz University of Medical Sciences. **Clinical Instructor of Prosthodontics Dept., Faculty of Dentistry, Shiraz University of Medical Sciences....
متن کاملA scattering of orders
A linear ordering is scattered if it does not contain a copy of the rationals. Hausdorff characterised the class of scattered linear orderings as the least family of linear orderings that includes the class B of well-orderings and reversed well-orderings, and is closed under lexicographic sums with index set in B. More generally, say that a partial ordering is κ-scattered if it does not contain...
متن کاملComputable Linearizations of Well-partial-orderings
We analyze results on well-partial-orderings from the viewpoint of computability theory, and we answer a question posed by Diana Schmidt. We obtain the following results. De Jongh and Parikh showed that every well-partial-order has a linearization of maximal order type. We show that such a linearization can be found computably. We also show that the process of finding such a linearization is no...
متن کاملExtension Orderings
In this paper we study how to extend a collection of term orderings on disjoint signatures to a single one, called an extension ordering , which preserves (part of) their properties. Apart of its own interest, e.g. in automated deduction, extension orderings turn out to be a new method to obtain simple and constructive proofs for modularity of termination of TRS. Three diierent schemes to deene...
متن کامل